valid rule of inference